3

Developing self-adaptive automotive systems

Year:
2014
Language:
english
File:
PDF, 1.89 MB
english, 2014
8

Formal verification of service-oriented adaptive driver assistance systems

Year:
2013
Language:
english
File:
PDF, 151 KB
english, 2013
10

The Deadlock problem

Year:
1983
Language:
english
File:
PDF, 351 KB
english, 1983
21

Echtzeitsysteme (Grundlagen der Planung) ||

Year:
2020
File:
PDF, 10.42 MB
2020
26

Transformations for communication fairness in CSP

Year:
1987
Language:
english
File:
PDF, 303 KB
english, 1987
28

Re-configuration in SOA-based adaptive driver assistance systems

Year:
2014
Language:
english
File:
PDF, 814 KB
english, 2014
31

Backing Up a Truck in Real-Time

Year:
2000
Language:
english
File:
PDF, 1.42 MB
english, 2000
34

Programmtransformationen zur Ende-Erkennung bei verteilten Berechnungen

Year:
1986
Language:
german
File:
PDF, 943 KB
german, 1986
45

Model-driven development of SOA-based driver assistance systems

Year:
2013
Language:
english
File:
PDF, 921 KB
english, 2013
46

Schedulability Analysis for Real-Time Processes with Age Constraints

Year:
1999
Language:
english
File:
PDF, 1.47 MB
english, 1999
49

Electron Deformation Density at Temperatures around 20 K

Year:
1993
Language:
english
File:
PDF, 1.56 MB
english, 1993
50

Program Transformations for Distributed Control Systems

Year:
1994
Language:
english
File:
PDF, 1.34 MB
english, 1994